формирование логической функции

См. также в других словарях:

• функция И — конъюнкция [Интент] Тематики Булева алгебра, элементы цифровой техники Действия формирование логической функции Синонимы конъюнкция EN AND connectiveAND function …   Справочник технического переводчика

• ФРЕГЕ — (Frege) Готлоб (1848 1925) нем. логик, математик и философ. Один из основоположников современной символической логики. Сформулированные Ф. новые идеи и подходы во многом предопределили развитие логики в 20 в. В работе «Исчисление понятий» (1879)… …   Философская энциклопедия

• Тождество —         основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем.          В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… …   Большая советская энциклопедия

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

• ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… …   Философская энциклопедия

• ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… …   Словарь-справочник терминов нормативно-технической документации

• Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия

• Русская литература — I.ВВЕДЕНИЕ II.РУССКАЯ УСТНАЯ ПОЭЗИЯ А.Периодизация истории устной поэзии Б.Развитие старинной устной поэзии 1.Древнейшие истоки устной поэзии. Устнопоэтическое творчество древней Руси с X до середины XVIв. 2.Устная поэзия с середины XVI до конца… …   Литературная энциклопедия

• ПСИХОЛОГИЯ — ПСИХОЛОГИЯ, наука о псих, процессах личности и их специфически человеческих формах: восприятии и мышлении, сознании и характере, речи и поведении. Советская П. строит сзое понимание предмета П. на основе рязработки идейного наследства Маркса… …   Большая медицинская энциклопедия